dgit.raspbian.org Git - gnome-shell.git/commit

]> dgit.raspbian.org Git - gnome-shell.git/commit

author	Jasper St. Pierre <jstpierre@mecheye.net>
	Thu, 19 Jan 2012 02:21:56 +0000 (21:21 -0500)
committer	Jasper St. Pierre <jstpierre@mecheye.net>
	Tue, 7 Feb 2012 21:00:37 +0000 (16:00 -0500)
commit	b8a54faf941976cfd59ae5d9f922d9828f3cd06c
tree	8c31d40210087d82588fc6e2f51ef79f84aa7c00	tree \| snapshot
parent	80ff6ff797dfc5b0e94893d42c5639463bb5ec17	commit \| diff

Add a new tool, 'gnome-shell-extension-prefs', which can configure extensions

A new tool, 'gnome-shell-extension-prefs' can load a new entry point from
extensions, 'prefs.js', which has an entry point to return a GTK+ widget.
This allows extensions to have their own preferences dialog, without each
extension needing to ship its own Python script and .desktop file.

https://bugzilla.gnome.org/show_bug.cgi?id=668429

.gitignore		diff \| blob \| history
data/Makefile.am		diff \| blob \| history
data/gnome-shell-extension-prefs.desktop.in.in	[new file with mode: 0644]	blob
js/Makefile.am		diff \| blob \| history
js/extensionPrefs/main.js	[new file with mode: 0644]	blob
js/misc/config.js.in		diff \| blob \| history
src/Makefile.am		diff \| blob \| history
src/gnome-shell-extension-prefs.in	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom